STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES
نویسنده
چکیده مقاله:
$Rsb{0}$-algebras, which were proved to be equivalent to Esteva and Godo's NM-algebras modelled by Fodor's nilpotent minimum t-norm, are the equivalent algebraic semantics of the left-continuous t-norm based fuzzy logic firstly introduced by Guo-jun Wang in the mid 1990s.In this paper, we first establish a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras and the category of three-valued Stone spaces.Then we extend Flaminio-Montagna internal states to $Rsb{0}$-algebras.Such internal states must be idempotent MV-endomorphisms of $Rsb{0}$-algebras.Lastly we present a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras with Flaminio-Montagna internal states and the category of three-valued Stone spaces with Zadeh type idempotent continuous endofunctions.These dualities provide a topological viewpoint for better understanding of the algebraic structures of $Rsb{0}$-algebras.
منابع مشابه
Loomis-Sikorski theorem and Stone duality for effect algebras with internal state
Recently Flaminio and Montagna, [FlMo], extended the language of MV-algebras by adding a unary operation, called a state-operator. This notion is introduced here also for effect algebras. Having it, we generalize the Loomis–Sikorski Theorem for monotone σ-complete effect algebras with internal state. In addition, we show that the category of divisible state-morphism effect algebras satisfying (...
متن کاملStone duality for nominal Boolean algebras with ‘new’: topologising Banonas
We define Boolean algebras over nominal sets with a functionsymbol Nmirroring the N‘fresh name’ quantifier. We also define dual notions of nominal topology and Stone space, prove a representation theorem over fields of nominal sets, and extend this to a Stone duality.
متن کاملStone Duality for Skew Boolean Algebras with Intersections
We extend Stone duality between generalized Boolean algebras and Boolean spaces, which are the zero-dimensional locally-compact Hausdorff spaces, to a non-commutative setting. We first show that the category of right-handed skew Boolean algebras with intersections is dual to the category of surjective étale maps between Boolean spaces. We then extend the duality to skew Boolean algebras with in...
متن کاملFilters of R0-algebras
In order to research the logical system whose propositional value is given in a lattice from the semantic viewpoint, Xu [7] proposed the concept of lattice implication algebras, and discussed some of their properties. Xu and Qin [8] introduced the notion of implicative filters in a lattice implication algebra, and investigated some of their properties. Turunen [5] introduced the notion of Boole...
متن کاملPseudo-Weak-R0 Algebras
A positive answer to the open problem of Iorgulescu on extending weak-R 0 algebras and R 0-algebras to the noncommutative forms is given. We show that pseudo-weak-R 0 algebras are categorically isomorphic to pseudo-IMTL algebras and that pseudo-R 0 algebras are categorically isomorphic to pseudo-NM algebras. Some properties, the noncommutative forms of the properties in weak-R 0 algebras and R ...
متن کاملBounded Archimedean `-algebras and Gelfand-neumark-stone Duality
By Gelfand-Neumark duality, the category C∗Alg of commutative C∗algebras is dually equivalent to the category of compact Hausdorff spaces, which by Stone duality, is also dually equivalent to the category uba` of uniformly complete bounded Archimedean `-algebras. Consequently, C∗Alg is equivalent to uba`, and this equivalence can be described through complexification. In this article we study u...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
عنوان ژورنال
دوره 14 شماره 4
صفحات 139- 161
تاریخ انتشار 2017-08-30
با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023